81. Verified software :
Author: Ruzica Piskac, Philipp Rümmer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
76
.
V47
82. 13th International Conference on Parallel Architectures and Compilation Techniques : )PACT 2004(, Antibes Juan-les-Pins, France, September 29-October 3, 2004 : proceedings
Author: sponsored by, IEEE TCCP ... ]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Parallel computers,Congresses ، Computer architecture,Congresses ، Parallel processing )Electronic computers(,Congresses ، Compiling )Electronic computers(,Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
58
.
I527
2004
